Agostino Cortesi: search on Z-Library

Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki (eds.)

Year:

2017

Language:

english

File:

PDF, 6.36 MB

0 / 0

english, 2017

Advanced Computing and Systems for Security: Volume Ten

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Year:

2020

Language:

english

File:

PDF, 4.89 MB

0 / 0

english, 2020

Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017

Nabendu Chaki, Agostino Cortesi, Nagaraju Devarakonda (eds.)

Year:

2018

Language:

english

File:

PDF, 12.87 MB

0 / 0

english, 2018

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta (auth.), Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń (eds.)

Year:

2012

Language:

english

File:

PDF, 18.25 MB

0 / 0

english, 2012

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

Cinzia Bernardeschi, Nicoletta De Francesco (auth.), Agostino Cortesi (eds.)

Year:

2002

Language:

english

File:

PDF, 2.38 MB

0 / 0

english, 2002

Computer Information Systems – Analysis and Technologies: 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

Young Im Cho (auth.), Nabendu Chaki, Agostino Cortesi (eds.)

Year:

2011

Language:

english

File:

PDF, 7.40 MB

0 / 0

english, 2011

Computer Information Systems – Analysis and Technologies: 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

Young Im Cho (auth.), Nabendu Chaki, Agostino Cortesi (eds.)

Year:

2011

Language:

english

File:

PDF, 8.13 MB

0 / 0

english, 2011

Advanced Computing and Systems for Security: Volume 13

Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed

Year:

2021

Language:

english

File:

EPUB, 32.76 MB

0 / 0

english, 2021

Challenges of Software Verification

Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro

Year:

2023

Language:

english

File:

PDF, 5.53 MB

0 / 0

english, 2023

Advanced Computing and Systems for Security: Volume 13

Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed

Year:

2021

Language:

english

File:

EPUB, 32.76 MB

0 / 0

english, 2021

Proceedings of International Conference on Computational Intelligence and Data Engineering

Nabendu Chaki, Nagaraju Devarakonda, Agostino Cortesi

Year:

2023

Language:

english

File:

PDF, 19.69 MB

0 / 5.0

english, 2023

Challenges of Software Verification (Intelligent Systems Reference Library, 238)

Vincenzo Arceri (editor), Agostino Cortesi (editor), Pietro Ferrara (editor), Martina Olliaro (editor)

Year:

2023

Language:

english

File:

PDF, 5.53 MB

0 / 5.0

english, 2023

Space Data Management

Maria Sangiuliano, Agostino Cortesi

Agostino Cortesi

Year:

2024

Language:

english

File:

PDF, 5.05 MB

0 / 0

english, 2024

Institutional Change for Gender Equality in Research

Edizioni Ca'Foscari

Year:

2019

Language:

english

File:

PDF, 6.27 MB

0 / 5.0

english, 2019

Donne e tecnologie informatiche

Edizioni Ca'Foscari

Emanuela Boschetto, Antonio Candiello, Agostino Cortesi, Fabio Fignani

Year:

2016

File:

PDF, 3.35 MB

0 / 0

2016

Misurare l’innovazione digitale Gli indicatori di successo delle politiche di innovazione territoriale

Edizioni Ca'Foscari

Elvio Tasso, Antonino Mola, Agostino Cortesi, Antonio Candiello

Year:

2016

Language:

italian

File:

PDF, 8.84 MB

0 / 0

italian, 2016

Advanced Computing and Systems for Security: Volume Seven

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Year:

2019

Language:

english

File:

PDF, 5.68 MB

0 / 0

english, 2019

Advanced Computing and Systems for Security: Volume Eleven

Springer Singapore;Springer

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Year:

2021

Language:

english

File:

PDF, 4.05 MB

0 / 0

english, 2021

Advanced Computing and Systems for Security: Volume 1

Springer India

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki (eds.)

Year:

2016

Language:

english

File:

PDF, 10.23 MB

0 / 0

english, 2016

Advanced Computing and Systems for Security: Volume Eight

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Year:

2019

Language:

english

File:

PDF, 6.99 MB

0 / 0

english, 2019

Advanced Computing and Systems for Security: Volume Nine

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Year:

2020

Language:

english

File:

PDF, 4.31 MB

0 / 0

english, 2020

Advanced Computing and Systems for Security: Volume 2

Springer India

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki (eds.)

Year:

2016

Language:

english

File:

PDF, 10.77 MB

0 / 0

english, 2016

Advanced Computing and Systems for Security: Volume 14 (Lecture Notes in Networks and Systems, 242)

Rituparna Chaki (editor), Nabendu Chaki (editor), Agostino Cortesi (editor), Khalid Saeed (editor)

Year:

2021

Language:

english

File:

PDF, 6.31 MB

0 / 5.0

english, 2021

Advanced Computing and Systems for Security: Volume Three

Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki (eds.)

Year:

2017

Language:

english

File:

PDF, 5.19 MB

0 / 0

english, 2017

Advanced Computing and Systems for Security: Volume 13

Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed

Year:

2021

Language:

english

File:

PDF, 5.87 MB

0 / 0

english, 2021

Hyper-lattice Algebraic Model for Data Warehousing

Springer International Publishing

Soumya Sen, Agostino Cortesi, Nabendu Chaki (auth.)

Year:

2016

Language:

english

File:

PDF, 2.31 MB

0 / 0

english, 2016

Advanced Computing and Systems for Security Volume twelve

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Language:

english

File:

PDF, 5.79 MB

0 / 0

english

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta (auth.), Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń (eds.)

Year:

2012

Language:

english

File:

PDF, 22.42 MB

0 / 0

english, 2012

Computer Information Systems and Industrial Management: 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings

Mieczysław A. Kłopotek (auth.), Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sławomir Wierzchoń (eds.)

Year:

2013

Language:

english

File:

PDF, 13.90 MB

0 / 0

english, 2013

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)

Year:

2003

Language:

english

File:

PDF, 2.51 MB

0 / 0

english, 2003

Static Analysis: 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings

John Hatcliff, James Corbett, Matthew Dwyer, Stefan Sokolowski, Hongjun Zheng (auth.), Agostino Cortesi, Gilberto Filé (eds.)

Year:

1999

Language:

english

File:

PDF, 2.96 MB

0 / 0

english, 1999

Advanced Computing and Systems for Security: Volume 14

Rituparna Chaki · Nabendu Chaki · Agostino Cortesi · Khalid Saeed Editors

Year:

2021

Language:

english

File:

PDF, 6.31 MB

0 / 0

english, 2021

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)

Year:

2003

Language:

english

File:

PDF, 22.12 MB

0 / 0

english, 2003

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

Cinzia Bernardeschi, Nicoletta De Francesco (auth.), Agostino Cortesi (eds.)

Year:

2002

Language:

english

File:

PDF, 4.10 MB

0 / 0

english, 2002

Advanced Computing and Systems for Security: Volume 14

Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed

Language:

english

File:

EPUB, 23.59 MB

0 / 0

english

Advanced Computing and Systems for Security: Volume 13

Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed

Year:

2021

Language:

english

File:

PDF, 5.87 MB

0 / 0

english, 2021

Advanced Computing and Systems for Security

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Year:

2018

Language:

english

File:

PDF, 6.67 MB

0 / 5.0

english, 2018

Advanced Computing and Systems for Security. Vol. 5 (Advances in Intelligent Systems and Computing 666)

Rituparna Chaki (ed.), Agostino Cortesi (ed.), Khalid Saeed (ed.), Nabendu Chaki (ed.)

Year:

2018

Language:

english

File:

PDF, 8.13 MB

0 / 5.0

english, 2018

Applied Computing for Software and Smart Systems: Proceedings of ACSS 2022